Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
771	Compiler and Runtime Analysis for Efficient Communication in Data Intensive Applications Add to Reading List Source URL: research.ac.upc.edu Language: English - Date: 2002-03-20 08:48:05 Software optimization Algorithm Mathematical logic Theoretical computer science Parallel computing Lookup table Data-flow analysis Computing Computer programming Computer performance
772	CLP( ): Constraint Logic Programming for Probabilistic Knowledge Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2003-07-18 18:10:02 Mathematics Constraint programming Logic programming Statistical models Reasoning Constraint logic programming CLP Relational model Prolog Software engineering Programming paradigms Logic
773	A DECLARATIVE FRAMEWORK FOR MODELING MULTI-AGENT SYSTEMS by GREGORY GELFOND A MASTER THESIS IN Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:08:43 Software engineering Automated planning and scheduling Prolog Agent-based model Action language Logic programming Multi-agent systems Artificial intelligence Computing
774	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:51 Computability theory Recursion Theoretical computer science Theory of computation Programming idioms Function Algorithm Scheme Tail call Software engineering Computer programming Mathematics
775	ACSL: ANSI/ISO C Specification Language Preliminary design (version 1.2, April 30, 2008) Patrick Baudin1 , Jean-Christophe Filliâtre4,3 , Claude Marché3,4 , Benjamin Monate1 , Yannick Moy2,4,3 , Virgile Prevosto1 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:00 C programming language ANSI/ISO C Specification Language Java Modeling Language Frama-C KeY Programming language C SQL Logic programming Computing Software engineering Computer programming
776	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
777	Publication list of Marc Bezem Journal articles [1] M.A. Bezem. Isomorphisms between HEO and HROE , ECF and ICFE . Journal of Symbolic Logic 50:359–371, M.A. Bezem. Strongly majorizable functionals of finite Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2013-10-30 09:43:20 Formal languages Applied mathematics Dependently typed programming Type theory Mathematical logic Rewriting Abstract rewriting system Logic Curry–Howard correspondence Theoretical computer science Logic in computer science Mathematics
778	c 1993 Cambridge University Press 1 J. Functional Programming 1 (1): 1{000, January 1993 FUNCTIONAL PEARLS Proof-Directed Debugging Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-27 17:55:28 Functional languages Deduction Entailment Logical syntax Metalogic Philosophical logic Regular expression Standard ML IP Logic Software engineering Computer programming
779	I Had a Dream: AAAI Presidential Address, 19 August 1985 Woody Bledsoe Microelectronics and Computer Technology Corporation, 9430 Research Boulevard, Austin, TexasTwenty-five years ago I had a dream, a daydream, Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-15 21:47:11 Artificial intelligence Logic Information systems Programming paradigms Computational neuroscience Expert system Cyc Knowledge representation and reasoning Inference Science Knowledge Reasoning
780	Alloy: A Higher-Order Relational Constraint Solver Aleksandar Milicevic Joseph P. Near Eunsuk Kang Add to Reading List Source URL: people.csail.mit.edu Language: English* - Date: 2014-09-09 16:16:23 Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories First-order logic Alloy Tree Theoretical computer science Mathematical logic Applied mathematics

UPDATE